1. Proofs and types

Author:

Library: Central Library of Sharif University of Technology (Tehran)

Subject: ، Proof theory,، Type theory,، Lambda calculus,، Combinatory logic

Classification :
QA
9
.
54
.
G572
1989